00050	COMMENT CARTESIAN PRODUCT FUNCTION AND SATELLITES;
00100	CART(U,V) ← CARTA(U,V,V);
00200	
00300	CARTA(U,W,V) ← IF NULL U THEN NIL ELSE IF NULL W THEN
00400	CARTA (CDR U,V,V) ELSE (CAR U . CAR W) .
00500	 (CARTA(U,CDR W,V));
00600	
00700	CARTT(U,V) ← CARTB(U,V,NIL);
00800	
00900	CARTB(U,V,W) ← IF NULL U THEN W ELSE CARTC(CAR U,V,CARTB(CDR U,
01000	V,W));
01100	
01200	CARTC(X,V,W) ← IF NULL V THEN W ELSE (X . CAR V).CARTC(X,CDR V,W);